/*
 * ユーザ。
 * 0個以上のロールを持つ。
 */
sig User {
	roles:set Role
}

/* 
 * ロール。
 * 0個以上の権限を持つ。
 */
sig Role {
	perms:set Permission
}

/* 
 * 権限。
 */
sig Permission {

}

fun permissions[u:User]:set Permission {
	u.roles.perms
}

run {} for 5
